منابع مشابه
Map Matching with Travel Time Constraints
Map matching determines which road a vehicle is on based on inaccurate measured locations, such as GPS points. Simple algorithms, such as nearest road matching, fail often. We introduce a new algorithm that finds a sequence of road segments which simultaneously match the measured locations and which are traversable in the time intervals associated with the measurements. The time constraint, imp...
متن کاملTriggered Real-Time Databases with Consistency Constraints
Real-time database systems incorporate the notion of a deadline into the database system model. USUally, deadlines are associated with transactions, and the system attempts to execute a given set of transactions so as to both meet the deadlines and ensure the database consistency. This paper presents an alternative model of real-time database processing in which deadlines are associated with co...
متن کاملConstraints , Consistency , and
Although the constraint satisfaction problem is NP-complete in general, a number of constraint classes have been identiied for which some xed level of local consistency is suucient to ensure global consistency. In this paper , we describe a simple algebraic property which characterises all possible constraint types for which strong k-consistency is suucient to ensure global consistency, for eac...
متن کاملConstraints, Consistency and Closure
Although the constraint satisfaction problem is NP-complete in general, a number of constraint classes have been identified for which some fixed level of local consistency is sufficient to ensure global consistency. In this paper we describe a simple algebraic property which characterises all possible constraint types for which strong k-consistency is sufficient to ensure global consistency, fo...
متن کاملSatisfying temporal consistency constraints of real-time databases
In addition to timing constraints, a real-time database has temporal consistency constraints for its temporal data. The temporal consistency constraints require the data to represent a state of the real-world that is up-to-date and also require data to represent past states of the real-world with values that are close in time. Factors, such as concurrency control, can cause transactions to miss...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Philosophy of Science
سال: 2003
ISSN: 0031-8248,1539-767X
DOI: 10.1086/377392